home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
CD ROM Paradise Collection 4
/
CD ROM Paradise Collection 4 1995 Nov.iso
/
science
/
sm32a.zip
/
LIBRARY
/
ASSUME.LI
< prev
next >
Wrap
Text File
|
1993-08-04
|
135b
|
4 lines
assume(x_) := block(x:=1, assumed)
assume(x_, y_) := block(x:=1,y:=1, assumed)
assume(x_, y_, z_) := block(x:=1,y:=1,z:=1, assumed)